Count-Invariance Including Exponentials
نویسندگان
چکیده
We define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentı́n et al., 2013) to include exponentials. This provides an e↵ective tool for pruning proof search in categorial parsing/theorem-proving.
منابع مشابه
Duality in Liouville Theory as a Reduced Symmetry
The origin of the rather mysterious duality symmetry found in quantum Liouville theory is investigated by considering the Liouville theory as the reduction of a WZW-like theory in which the form of the potential for the Cartan field is not fixed a priori. It is shown that in the classical theory conformal invariance places no condition on the form of the potential, but the conformal invariance ...
متن کاملSpecial functions and q-commuting variables
This paper is mostly a survey, with a few new results. The first part deals with functional equations for q-exponentials, q-binomials and q-logarithms in q-commuting variables and more generally under q-Heisenberg relations. The second part discusses translation invariance of Jackson integrals, q-Fourier transforms and the braided line. Last modified: August 26, 1996 Note: Report No. 1, Institu...
متن کاملWeighted triangular approximation of fuzzy numbers q
In this paper, we use the weighted distance between fuzzy numbers to investigate the approximation of arbitrary fuzzy numbers by weighted distance. We then discuss properties of the approximation strategy including continuity, translation invariance, scale invariance and identity and give an application to the generation of fuzzy partitions. 2006 Elsevier Inc. All rights reserved.
متن کاملA Count Invariant for Lambek Calculus with Additives and Bracket Modalities
The count invariance of van Benthem (1991[16]) is that for a sequent to be a theorem of the Lambek calculus, for each atom, the number of positive occurrences equals the number of negative occurrences. (The same is true for multiplicative linear logic.) The count invariance provides for extensive pruning of the sequent proof search space. In this paper we generalize count invariance to categori...
متن کاملTranscendence Measures for Exponentials and Logarithms
In the present paper, we derive transcendence measures for the numbers log a, e, aP, (log aj)/(log 02) from a previous lower bound of ours on linear forms in the logarithms of algebraic numbers. Subject classification (Amer. Math Soc. (MOS) 1970): 10 F 05, 10 F 35
متن کامل